$\forall$$E$:Type. Tree($E$) $\in$ Type